record player operation - German English Dictionary